\section{related work}

Related works about the fair exchange

provable computing
